1.
Three Views of Logic : Mathematics, Philosophy, and Computer Science
by Loveland, Donald W., Hodel,...
ISBN: 9780691160443
List Price: $49.50
2.
Automated Theorem Proving After 25 Years
by Bledsoe, W. W., Loveland, D...
ISBN: 9780821850275
List Price: $48.00
OUT OF STOCK
See Availability on Amazon3.
Three Views of Logic: Mathematics, Philosophy, and Computer Science
by Loveland, Donald W., Hodel,...
ISBN: 9781400848751